fastfib($n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{fast{-}fib{-}opt:ObjectId, 1:l\}($n$)